例句與造句

1. However, modal logic is normally formalized with the principle of the excluded middle, and its relational semantics is bivalent, so this inclusion is disputable.
2. Building upon his work on semantics of modal logic, Saul Kripke created another semantics for intuitionistic logic, known as "'Kripke semantics "'or "'relational semantics " '.
3. It's difficult to find relational semantics in a sentence. 用relational semantics造句挺難的